CALL FOR PAPERS/INVITATION TO SPECIAL SESSION INTELLIGENT SYSTEMS AND SOFTWARE ENGINEERING ADVANCES 21st International Conference on Information and Software Technologies October 15th–16th, 2015, Druskininkai, Lithuani

Source URL: www.dmi.unict.it

CALL FOR PAPERS - SEFM 2010 The 8th IEEE International Conference on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM) Pisa, Italy

Source URL: www.sefm2010.isti.cnr.it

DOC Document

Source URL: www.capsl.udel.edu

• Computing
• Computer programming
• Software engineering
• Concurrent programming languages
• Programming paradigms
• Guang Gao
• Parallel computing
• Actor model
• International Parallel and Distributed Processing Symposium
• International Conference on Parallel and Distributed Systems
• Dataflow programming
• Computer architecture

T. Hirashima et al. (EdsProceedings of the 19th International Conference on Computers in Education. Chiang Mai, Thailand: Asia-Pacific Society for Computers in Education Algorithm Learning Environment for Link

Source URL: www.nectec.or.th

• Algorithm
• Mathematical logic
• Theoretical computer science
• Pointer
• Stack
• Linked list
• C
• Programming language
• Computing
• Software engineering
• Computer programming

2009 Fourth IEEE International Conference on Global Software Engineering How Technological Support Can Enable Advantages of Agile Software Development in a GSE Setting Kevin Dullemond Delft University of

Source URL: www.aspic.nl

th The 12 International Joint Conference on Computer Science and Software Engineering (JCSSEive rs

Source URL: jcsse2015.psu.ac.th

PDF Document

Source URL: sm.sv.cmu.edu

• Year of birth missing
• Computing
• International Conference on Software Engineering
• Association for Computing Machinery
• Software engineer
• Software engineers
• Software Engineering Notes
• Elaine Weyuker
• Software engineering
• Computer science
• SIGSOFT

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: www.clip.dia.fi.upm.es

• Programming paradigms
• Formal sciences
• Association for Computing Machinery
• Principles of Programming Languages
• Formal methods
• International Conference on Logic Programming
• Logic programming
• International Symposium on Logic-based Program Synthesis and Transformation
• Lecture Notes in Computer Science
• Computer science
• Computing
• Software engineering

Civil-Comp Press, 2005. Proceedings of the Eighth International Conference on the Application of Artificial Intelligence to Civil, Structural and Environmental Engineering, B.H.V. Topping (Editor), Civil-Comp Press, S

Source URL: intra.info.uqam.ca

• Object-oriented programming
• Software design patterns
• Design Patterns
• Object
• ILOG
• Programming paradigm
• Applications of artificial intelligence
• Software engineering
• Computing
• Computer programming

2014 Communications of the ACM http://cacm.acm.org COMMUNICATIONS ACM

Source URL: jobs.acm.org

• Communications of the ACM
• Online advertising
• Publishing
• Computing
• Advertising
• Conference on Human Factors in Computing Systems
• Classified advertising
• Software engineering
• International nongovernmental organizations
• Association for Computing Machinery
• Computer science